1. Systems and software verification : model-checking techniques and tools
پدیدآورنده : B. Berard ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Vertification ، Computer systems,، Computer software -- Verification
رده :
QA
76
.
76
.
V47S97